data SumP p = forall a b. SumP (b -> a) (p a b)